- 双语例句 更多例句
1、
2、
the research in mechanical theorem proving has great significance in the theory and the practice.
定理机器证明的研究，在理论和实践上都具有重要的意义。
互联网摘选
3、
4、
Mechanical theorem proving for tensor with indexes in differential geometry
基于指标形式张量的微分几何定理机器证明
互联网摘选
5、
Remainder method for the mechanical theorem proving in first-order predicate calculus
一阶谓词演算定理机器证明的余式方法
互联网摘选
6、
Trigonometric identity and the mechanical theorem proving in elementary geometry
三角恒等式与初等几何定理的机械化证明
互联网摘选
- 相关词组
- tensor-divergence theorem张量发散定理
- mechanical signalling机械信号(设备)
- remarkable theorem绝妙定理
- radiance theorem辐射率定理
- weak converse theorem弱逆定理
- recursion theorem递归定理
- unbalanced mechanical seal非平衡式机械密封
- mechanical burner机械炉
- mechanical property机械性能，力学性质;
- quantum mechanical tunnelling量子力学隧道效应
- Nyquist theorem奈奎斯特定理;nyquist定理;尼奎斯特定理;采样定理;奈氏定理
- euler theorem欧拉定理
- mechanical erosion刻蚀
- monotone concergence theorem单调收敛定理
- orthogonality theorem正交定理
- mechanical alignment机械调准;
- mechanical design构造设计
- mechanical model机械式模型，力学模型;
- radial double mechanical seal径向双端面机械密封
- renewal theorem更新定理
- 今日热词
- 热门搜索
- reputation n.名誉，名声;
- sweeten vt.使甜，把…弄香;使温和;使愉快;使悦耳;vi.变甜;
- until you 直到你;只有你;直到你出现;
- proof n.证据;证明;检验;证实;求证;验算;校样;（酒的）标准酒精度adj.防/抗…的;能抵御;能防范;可防护;
- answer ball 回应球（篮球比赛中，一方队员投中一球后，另一方马上以相同的方式回敬对方一球）
- dytt 电影天堂；科幻片
- gruel n.燕麦粥 ;稀粥;
- oki 木
- bright adj. 明亮的，鲜亮的;聪明的;辉煌的;活泼的，机灵的，乖巧的;adv. 明亮地，光明地，光亮地;欢快地，愉快地;
- upward adj.向上的，上升的;升高的;
- cup n.杯子;一杯（的量）;（胸罩的）罩杯;优胜杯;vt.使（手）窝成杯状;使（双手）成圆状托起;为…拔火罐;
- European adj.欧洲的，欧洲人的;欧盟的;n.欧洲人;
湘公网安备43011202000971号